The Syntax and Semantics of Timed $mu Crl$ the Syntax and Semantics of Timed Crl
نویسنده
چکیده
We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made between constructors and functions in the datatypes. Care has been taken that every CRL speciication is also a correct timed CRL speciication with exactly the same meaning.
منابع مشابه
The Syntax and Semantics of timed CRL Jan Friso
We de ne a speci cation language called `timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL [17]. It di ers in two main aspects. It is possible to make explicit reference to time using a new `at' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made...
متن کاملCompleteness of Timed CRL
In [9], a straightforward extension of the process algebra μCRL was proposed to explicitly deal with time. The process algebra μCRL has been designed especially to deal with data in a process algebraic context. Using the features for data, only a minor extension of the language was needed to obtain a very expressive variant of time. But [9] contains syntax, operational semantics and axioms char...
متن کاملReverse Engineering of Network Software Binary Codes for Identification of Syntax and Semantics of Protocol Messages
Reverse engineering of network applications especially from the security point of view is of high importance and interest. Many network applications use proprietary protocols which specifications are not publicly available. Reverse engineering of such applications could provide us with vital information to understand their embedded unknown protocols. This could facilitate many tasks including d...
متن کاملSen - R 9709 1997
We deene a speciication language called`timed CRL'. This language is designed to describe communicating processes employing data and time. Timed CRL is the successor of CRL 17]. It diiers in two main aspects. It is possible to make explicit reference to time using a newàt' operator; p,t is the process p where the rst action must take place at time t. Furthermore, a distinction has been made bet...
متن کاملProgramming Research Group Some Extensions to the Probabilistic, Biased Model of Timed Csp Some Extensions to the Probabilistic, Biased Model of Timed Csp
In a previous paper Low92] we presented two languages based upon timed CSP, with associated semantic models. The rst language included biased operators in the syntax, which could be used to model diierent priorities on actions. The second language extended this by adding a probabilistic choice operator to the syntax; this allowed us to give a semantics which modelled the probabilities of diiere...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997